Nuprl Definition : spread6
13,42
postcript
pdf
let
a
,
b
,
c
,
d
,
e
,
f
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
)
== let
a
,
zz1
=
u
==
in
==
let
b
,
zz2
=
zz1
in let
c
,
zz3
=
zz2
in let
d
,
zz4
=
zz3
in let
e
,
f
=
zz4
in
v
(
a
;
b
;
c
;
d
;
e
;
f
)
latex
Up
core
2
,
core
2
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
spread6
origin